#!/usr/bin/env bash
set -euo pipefail

export SCRIPT_DIR="$(cd "$(dirname "$0")/.." && pwd)"

script() {
   echo "#!/usr/bin/env bash"
   echo "${SCRIPT_DIR}/navi" '"$@"'
}

BIN="/usr/local/bin/navi"
script > "$BIN"
chmod +x "$BIN"